Browsing by Subject "Computational methods"

Now showing items 1-20 of 60

    • Article  

      An analytical method for linear elliptic PDEs and its numerical implementation 

      Fulton, S. R.; Fokas, A. S.; Xenophontos, Christos A. (2004)
      A new numerical method for solving linear elliptic boundary value problems with constant coefficients in a polygonal domain is introduced. This method produces a generalized Dirichlet-Neumann map: given the derivative of ...
    • Article  

      Argumentation Logic 

      Kakas, Antonis C.; Toni, F.; Mancarella, P. (2014)
      We propose a novel logic-based argumentation framework, called Argumentation Logic (AL), built upon a restriction of classical Propositional Logic (PL) as its underlying logic. This allows us to control the application of ...
    • Article  

      Argumentative agent deliberation, roles and context 

      Kakas, Antonis C.; Moraïtis, Pavlos (2002)
      This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the agent is able to take into account the roles ...
    • Article  

      ARNI: Abductive inference of complex regulatory network structures 

      Maimari, N.; Turliuc, C. -R; Broda, K.; Kakas, Antonis C.; Krams, R.; Russo, A. (2013)
      Physical network inference methods use a template of molecular interaction to infer biological networks from high throughput datasets. Current inference methods have limited applicability, relying on cause-effect pairs or ...
    • Article  

      Certain nonlinear partially observable stochastic optimal control problems with explicit control laws equivalent to LEQG/LQG problems 

      Charalambous, Charalambos D.; Elliott, R. J. (1997)
      This paper is concerned with partially observed stochastic optimal control problems when nonlinearities enter the dynamics of the unobservable state and the observations as gradients of potential functions. Explicit ...
    • Conference Object  

      Certain results concerning filtering and control of diffusions in small white noise 

      Charalambous, Charalambos D.; Elliott, Robert J. (IEEE, 1997)
      The purpose of this talk is twofold. First, we examine in detail the binary hypothesis decision and/or estimation problem using a risk-sensitive cost criterion, when the state and observation processes are diffusion signals. ...
    • Conference Object  

      Characterization of computational grid resources using low-level benchmarks 

      Tsouloupas, George; Dikaiakos, Marios D. (2006)
      An important factor that needs to be taken into account by end-users and systems (schedulers, resource brokers, policy brokers) when mapping applications to the Grid is the performance capacity of hardware resources attached ...
    • Article  

      Classes of nonlinear partially observable stochastic optimal control problems with explicit optimal control laws 

      Charalambous, Charalambos D.; Elliott, R. J. (1998)
      This paper introduces certain nonlinear partially observable stochastic optimal control problems which are equivalent to completely observable control problems with finite-dimensional state space. In some cases the optimal ...
    • Article  

      The complexity of equilibria for risk-modeling valuations 

      Mavronicolas, Marios; Monien, Burkhard (2016)
      Following the direction pioneered by Fiat and Papadimitriou in their 2010 paper [12], we study the complexity of deciding the existence of mixed equilibria for minimization games where players use valuations other than ...
    • Article  

      A comprehensive context modeling framework for pervasive computing systems 

      Reichle, R.; Wagner, M.; Khan, M. U.; Geihs, K.; Lorenzo, J.; Valla, M.; Fra, C.; Paspallis, Nearchos; Papadopoulos, George Angelos (2008)
      Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, or heterogeneity of context sources. Although ...
    • Article  

      Computational assessment of distributed decomposition methods for stochastic linear programs 

      Vladimirou, Hercules (1998)
      Incorporating uncertainty in optimization models gives rise to large, structured mathematical programs. Decomposition procedures are well-suited for parallelization, thus providing a promising venue for solving large ...
    • Conference Object  

      Computational modeling of visual selective attention 

      Neokleous,Kleanthis C.; Schizas, Christos N. (2011)
      An overview of a nerocomputational model of visual selective attention that has been properly implemented is presented in this abstract. Visual selective attention is a fundamental function of human cognition and a highly ...
    • Article  

      Computational modeling of visual selective attention based on correlation and synchronization of neural activity 

      Neokleous,Kleanthis C.; Avraamides, Marios N.; Schizas, Christos N. (2009)
      Within the broad area of computational intelligence, it is of great importance to develop new computational models of human behaviour aspects. In this report we look into the recently suggested theory that neural synchronization ...
    • Conference Object  

      Computational study of the Kuramoto-Sivashinsky equation 

      Smyrlis, Yiorgos-Sokratis; Papageorgiou, Demetrios T. (Soc for Industrial & Applied Mathematics Publ, 1996)
      We report the results of extensive numerical experiments on the Kuramoto-Sivashinsky equation in the strongly chaotic regime as the viscosity parameter is decreased and increasingly more linearly unstable modes enter the ...
    • Article  

      Concurrent object-oriented programming using term graph rewriting techniques 

      Papadopoulos, George Angelos (1996)
      The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent object-oriented programming techniques exploiting the fine grain highly parallel features of TGRS in a ...
    • Article  

      Conforming spectral methods for Poisson problems in cuboidal domains 

      Karageorghis, Andreas (1994)
      A Chebyshev collocation strategy is introduced for the subdivision of cuboids into cuboidal subdomains (elements). These elements are conforming, which means that the approximation to the solution is C0 continuous at all ...
    • Book Chapter  

      DART: a data-driven processor architecture for real-time computing 

      Farquhar, William G.; Evripidou, Paraskevas (Publ by Elsevier Science Publishers B.V., 1993)
      This paper presents the design of DART, a Data-driven processor Architecture for Real-Time computing. The DART processor is designed to be the key building block in real-time multiprocessor systems that can handle multiple ...
    • Conference Object  

      Designing stable inverters and state observers for switched linear systems with unknown inputs 

      Sundaram, S.; Hadjicostis, Christoforos N. (2006)
      We present a method for estimating the inputs and states in discrete-time switched linear systems with unknown inputs. We first investigate the problem of system invertibility, which reconstructs the unknown inputs based ...
    • Conference Object  

      Development of confined viscoplastic flows with heterogeneous wall slip 

      Panaseti, Pandelitsa; Philippou, Maria; Kountouriotis, Zacharias; Georgiou, Georgios C. (National Technical University of Athens, 2016)
      The steady, pressure-driven flow of a Herschel-Bulkley fluid in a channel is considered assuming that slip occurs on one wall only due to slip heterogeneities. Hence, the velocity profile is allowed to be asymmetric. The ...
    • Conference Object  

      Directly computable L2 and Lx performance bounds for Morse's dynamic certainty equivalence adaptive controller 

      Datta, Aniruddha; Ioannou, Petros A. (1995)
      In this paper we consider a model reference adaptive control scheme where the classical error augmentation and standard tuning error normalization are avoided through the use of Morse's high order tuner. We consider the ...